| 1. | Once again, the "soft" nature of these constraints has prevented their inclusion in formal models .
这的制约因素的“伸缩”性质再一次使它们不能包括在正式模型里。 |
| 2. | Formal models of uml statechart diagrams based on petri nets
状态图的形式化模型 |
| 3. | Analysis of formal models and methods on mobile computing
移动计算形式理论分析与研究 |
| 4. | A formal model of workflow net
一种形式化的工作流网模型 |
| 5. | Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。 |
| 6. | On the other hand , important specifications such as the infoset a formal model of the information nodes in an xml document should be established at the foundations
另一方面，象infoset （ xml文档中信息节点的正式模型）这样的重要规范应该建立在此基础上。 |
| 7. | With the use of mascl , the concept of cooperation commitment of cooperation process in multi - agent systems is defined , and the formal model of cooperation commitment is proposed
以mascl为基础，定义了多智能体的协作过程的协作承诺等相关概念，提出了协作承诺的形式化模型。 |
| 8. | Also , heuristic analysis of security and performance analysis are made on the seak protocol , and an appropriate formal model is provided , the protocol is proven secure in eccdh and the random oracle model
同时还对seak协议做了启发式安全分析和性能分析,并给其建立了形式化模型,在eccdh和随机预言模型下,证明了它是安全的。 |
| 9. | Also , a heuristic analysis of security and performance analysis is made on the sakc protocol , and an appropriate formal model is provided , the protocol is proven secure in eccdh and the random oracle model
同时还对sakc协议做了启发式安全分析和性能分析,并给其建立了形式化模型,在eccdh和随机预言模型下,证明了它是安全的。 |
| 10. | After introducing the logic and establishing its relationship to the formal model of multi - agent system , we put forward an axiomatisation of vsk - af logic , and systematically discuss its rationality
在提出了vsk - af逻辑并且建立了它与多agent系统的形式化模型间的关系后，给出了该逻辑的公理化体系，并对其合理性进行了充分的阐述。 |
